<?php
echo $a;